Corrections to references [2] and [3]

2 References

11 set name Theorem_Tc1_2_1_1 prove in(d', funcSpace(Node, NatInf)) set name Theorem_TC_2_1_1_1 prove (in(v_k_, openInter(((d@v_m_c)+1), (d@v_n_c))) => in(v_k_,NatInf)) resume by => <> 1 subgoal for proof of => normalize Theorem_TC_2_1_1_1ImpliesHyp with UseOpenInterval ] => subgoal ] conjecture set name Theorem_TC_2_1_1 normalize Theorem_TC_2ImpliesHyp.2 with TC normalize Theorem_TC_2_1Implies...

References (chapter 3):

Additions and corrections to names published in Cercospora in Iran

In this paper the taxonomy of some previously reported taxa as Cercospora apii s.lat. in Iran, is discussed and some new records are listed. Cercospora species on Abelia grandiflora (C. deutziae), Erythrina crista-galli (C. erythrinicola), Euphorbia heterophylla (C. pulcherrimae) and Zanthedeschia aethiopica (C. richardiicola) are new for mycobiota of Iran. Cercospora iridis which was previousl...

Additions and Corrections

Radiative corrections to K l 3 decays ∗

We present a complete calculation of the Kl3 decays K + → πlνl and K → πlνl to O(p4, (md −mu)p, ep) in chiral perturbation theory with virtual photons and leptons. We introduce the concept of generalized form factors and kinematical densities in the presence of electromagnetism, and propose a possible treatment of the real photon emission in K l3 decays. We illustrate our results by applying th...